Special section on Software Verification and Testing
نویسندگان
چکیده
منابع مشابه
Special section on Software Verification and Testing
We are delighted to present this special section containing extended versions of selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013), which took place in March 2013 in Coimbra, Portugal. The SVT track aims to bring together academic researchers and industry R&D expertise to discuss new results in formal verifi...
متن کاملSpecial Section on Knowledge-Based Software Engineering
The Institute of Electronics, Information and Communication Engineering (IEICE) Transactions on Information and Systems announces a forthcoming special section on “Knowledge-Based Software Engineering” to be published in July 2018. The objective of this special section is to publish and overview recent progress in the interdisciplinary area of Artificial Intelligence and Software Engineering. B...
متن کاملGuest Editorial: Special Section on the International Symposium on Software Testing and Analysis 2010
THE International Symposium on Software Testing and Analysis (ISSTA) is the premier forum for the presentation of leading edge research results on issues related to software testing and analysis. Every year, ISSTA brings together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ISSTA 2010 was held f...
متن کاملSpecial Section on Test and Verification of VLSIs
The Fifteenth Asian Test Symposium (ATS’06) and the SeventhWorkshop on RTL and High Level Testing (WRTLT’06) were held in Fukuoka, Japan on November 20th–23rd and 23rd–24th, respectively. Excellent works on state-of-the-art and wide-spread ideas and techniques were presented and discussed in ATS’06, while WRTLT’06 provided more frank discussion focusing on RTL and high level testing. We took th...
متن کاملSpecial Section: Open Source Software
While many successful and well-known open source projects produce output of high quality, a general assessment of this development paradigm is still missing. In this paper, an online community of both small and large, successful and failed projects and their programmers is analysed mainly using the version-control data of each project, also according to their productivity and estimation of expe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.06.015